Llistar TÃtols
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
Constraint programming (Computer science) -- Congresses Programació per restriccions (Informà tica) -- Congressos
Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica Kirchweger, Markus Szeider, Stefan